Petri net - PDFSEARCH.IO - Document Search Engine

Petri net
Results: 320

#	Item
271	The unfolding of general Petri nets Jonathan Hayman Glynn Winskel Computer Laboratory, University of Cambridge, England Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-07-22 10:38:14 Mathematics Petri net Adjoint functors Pullback Morphism Functor Sheaf Category Subcategory Abstract algebra Category theory Algebra
272	ECSYM Part B1- Section 1d EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel —the next-generation semantics Section 1d: Extended Synopsis Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-02-08 06:55:17 Models of computation Programming language semantics Applied mathematics Concurrency Denotational semantics Power domains Semantics Operational semantics Petri net Theoretical computer science Computer science Logic in computer science
273	Topics in Concurrency Lecture Notes Glynn Winskel c 2001[removed]Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-04-09 12:07:48 Theoretical computer science Process calculi Models of computation Logic in computer science Concurrency Π-calculus Petri net Model checking Function Mathematics Applied mathematics Logic
274	Models for Concurrency and Games Glynn Winskel The notion of deterministic/nondeterministic strategy is potentially as fundamental as the notion of function/relation. A broad enough notion of strategy must be planted fir Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 13:04:47 Computer science Logic in computer science Applied mathematics Denotational semantics Petri net Computation Theoretical computer science Concurrency Models of computation
275	ECSYM Part B2 EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-02-08 06:54:38 Applied mathematics Logic in computer science Programming language semantics Concurrency Denotational semantics Petri net Power domains Actor model Operational semantics Theoretical computer science Computer science Models of computation
276	PIPE v2.5: a Petri Net Tool for Performance Modeling Pere Bonet, Catalina M. Llad´ o, Ramon Puigjaner Departament de Ci`encies Matem`atiques i Inform`atica Universitat de les Illes Balears 07071, Palma de Mallorca, Spai Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2007-08-04 17:03:23 Diagrams Formal methods Computing Computer science Algebraic Petri nets TAPAAL Model Checker Petri nets Models of computation Concurrency
277	Microsoft Word - Annex4j-XTYReformtedICADAM_EASTWEST_cang.doc Add to Reading List Source URL: eastwest.inf.brad.ac.uk Language: English - Date: 2008-02-22 07:22:00 Planning Science Applied mathematics Search algorithms Mathematics Petri net Scheduling Genetic algorithm Job shop scheduling Operations research Mathematical optimization Concurrency
278	PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets Nicholas J. Dingle William J. Knottenbelt Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-09-25 12:39:55 Petri net Analysis Mass spectrometry software Mind Ethology Social network analysis software Science Concurrency Diagrams
279	For the ACS course Advanced Topics in Concurrency Event Structures, Stable Families and Concurrent Games Glynn Winskel [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 13:06:24 Computer science Applied mathematics Concurrency Denotational semantics Actor model Petri net Game semantics Domain theory Semantics Theoretical computer science Models of computation Logic in computer science
280	Events in Security Protocols Federico Crazzolara ∗ Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-01-15 10:14:41 Functions and mappings Applied mathematics Concurrency Diagrams Petri net Computer science Function Π-calculus Mathematics Models of computation Process calculi

UPDATE